781. Requirements engineering: foundation for software quality :
پدیدآورنده : Daniel Berry, Xavier Franch (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Requirements engineering, Congresses
رده :
QA76
.
758
.
R44
2011
782. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
پدیدآورنده : Manfred Broy, Bernhard Rumpe, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1526
783. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده : Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
784. Research in Attacks, Intrusions, and Defenses
پدیدآورنده : \ edited by Herbert Bos, Fabian Monrose, Gregory Blanc.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Intrusion detection systems (Computer security) -- Congresses. ,Computer science. ,Software engineering. ,علوم کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA76
.
76
.
R41
2015
E-Book
,
785. Research in systems analysis and design :
پدیدآورنده : Stanisław Wrycza (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : System analysis, Congresses.,System design, Congresses.,Systems programming (Computer science), Congresses.
رده :
QA76
.
9
.
S88
S54
2011
786. Reuse in emerging software engineering practices :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Reusability ; Congresses. ;
787. Reuse in the Big Data Era :
پدیدآورنده : Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
788. Reversible computation :
پدیدآورنده : Michael Kirkedal Thomsen, Mathias Soeken (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
789. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
790. Risks and Security of Internet and Systems :
پدیدآورنده : edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses.,Internet-- Security measures, Congresses.,Artificial intelligence.,Artificial intelligence.,Coding theory & cryptology.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Computers.,Data encryption (Computer science),Expert systems-- knowledge-based systems.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.
رده :
QA76
.
758
I58
2017
791. RoboCup 2017 :
پدیدآورنده : Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Robotics, Congresses.,Soccer-- Computer simulation, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Software Engineering.,Special Purpose and Application-Based Systems.,Systems and Data Security.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Image processing.,Robotics.,Soccer-- Computer simulation.,Software Engineering.,User interface design & usability.
رده :
TJ210
.
3
792. Rule-based modeling and computing on the Semantic Web :
پدیدآورنده : Frank Olken, Monica Palmirani, Davide Sottara (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
رده :
QA76
.
76
.
H94
R85
2011
793. Rule interchange and applications
پدیدآورنده : Guido Governatori, John Hall, Adrian Paschke (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
رده :
QA76
.
76
.
H94
R88
2009eb
794. Rules on the web
پدیدآورنده : Antonis Bikakis, Adrian Giurca (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Rule-based programming, Congresses
رده :
QA76
.
6
.
R85
2012eb
795. Runtime Verification
پدیدآورنده : \ Ezio Bartocci, Rupak Majumdar (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستی‌آزمایی -- کنگره ها,روش‌های صوری (کامپیوتر) -- کنگره ها,آزمون‌های کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
796. Runtime verificatio
پدیدآورنده : / Saddek Bensalem, Doron A. Peled (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses
رده :
QA
,
76
.
76
,.
V47
,
R88
,
2009
797. Runtime verification
پدیدآورنده : Sarfraz Khurshid, Koushik Sen (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2011eb
798. Runtime verification :
پدیدآورنده : Axel Legay, Saddek Bensalem (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
799. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
800. S-BPM ONE - Scientific research
پدیدآورنده : Christian Stary (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses,Computer network architectures, Congresses,Management information systems, Congresses,Software engineering, Congresses
رده :
T58
.
6
.
S37
2012beb
